An algorithm for generating abstract syntax trees

The notion of an abstract syntax is discussed. An algorithm is presented for automatically deriving an abstract syntax directly from a BNF grammar. The implementation of this algorithm and its application to the grammar for Modula are discussed

The Mystro system: A comprehensive translator toolkit

Mystro is a system that facilities the construction of compilers, assemblers, code generators, query interpretors, and similar programs. It provides features to encourage the use of iterative enhancement. Mystro was developed in response to the needs of NASA Langley Research Center (LaRC) and enjoys a number of advantages over similar systems. There are other programs available that can be used in building translators. These typically build parser tables, usually supply the source of a parser and parts of a lexical analyzer, but provide little or no aid for code generation. In general, only the front end of the compiler is addressed. Mystro, on the other hand, emphasizes tools for both ends of a compiler

Construction of a menu-based system

The development of the user interface to a software code management system is discussed. The user interface was specified using a grammar and implemented using a LR parser generator. This was found to be an effective method for the rapid prototyping of a menu based system

The parser generator as a general purpose tool

The parser generator has proven to be an extremely useful, general purpose tool. It can be used effectively by programmers having only a knowledge of grammars and no training at all in the theory of formal parsing. Some of the application areas for which a table-driven parser can be used include interactive, query languages, menu systems, translators, and programming support tools. Each of these is illustrated by an example grammar

Acoustic Tests of a Flexible Spacecraft Model

Acoustic tests of flexible spacecraft mode

A translator writing system for microcomputer high-level languages and assemblers

In order to implement high level languages whenever possible, a translator writing system of advanced design was developed. It is intended for routine production use by many programmers working on different projects. As well as a fairly conventional parser generator, it includes a system for the rapid generation of table driven code generators. The parser generator was developed from a prototype version. The translator writing system includes various tools for the management of the source text of a compiler under construction. In addition, it supplies various default source code sections so that its output is always compilable and executable. The system thereby encourages iterative enhancement as a development methodology by ensuring an executable program from the earliest stages of a compiler development project. The translator writing system includes PASCAL/48 compiler, three assemblers, and two compilers for a subset of HAL/S

A Characterisation of Strong Wave Tails in Curved Space-Times

A characterisation of when wave tails are strong is proposed. The existence of a curvature induced tail (i.e. a Green's function term whose support includes the interior of the light-cone) is commonly understood to cause backscattering of the field governed by the relevant wave equation. Strong tails are characterised as those for which the purely radiative part of the field is backscattered. With this definition, it is shown that electromagnetic waves in asymptotically flat space-times and fields governed by tail-free propagation have weak tails, but minimally coupled scalar fields in a cosmological scenario have strong tails.Comment: 17 pages, Revtex, to appear in Classical and Quantum Gravit

Spatial and temporal arrival patterns of Madagascar's vertebrate fauna explained by distance, ocean currents, and ancestor type

How, when, and from where Madagascar's vertebrates arrived on the island is poorly known, and a comprehensive explanation for the distribution of its organisms has yet to emerge. We begin to break that impasse by analyzing vertebrate arrival patterns implied by currently existing taxa. For each of 81 clades, we compiled arrival date, source, and ancestor type (obligate freshwater, terrestrial, facultative swimmer, or volant). We analyzed changes in arrival rates, with and without adjusting for clade extinction. Probability of successful transoceanic dispersal is negatively correlated with distance traveled and influenced by ocean currents and ancestor type. Obligate rafters show a decrease in probability of successful transoceanic dispersal fromthe Paleocene onward, reaching the lowest levels after the mid- Miocene. This finding is consistent with a paleoceanographic model [Ali JR, HuberM(2010) Nature 463:653-656] that predicts Early Cenozoic surface currents periodically conducive to rafting or swimming fromAfrica, followed by a reconfiguration to present-day flow15-20 million years ago that significantly diminished the ability for transoceanic dispersal to Madagascar from the adjacent mainland

Does repeatedly viewing overweight versus underweight images change perception of and satisfaction with own body size?

Body dissatisfaction is associated with subsequent eating disorders and weight gain. One-off exposure to bodies of different sizes changes perception of others' bodies, and perception of and satisfaction with own body size. The effect of repeated exposure to bodies of different sizes has not been assessed. We randomized women into three groups, and they spent 5 min twice a day for a week completing a one-back task using images of women modified to appear either under, over, or neither over- nor underweight. We tested the effects on their perception of their own and others' body size, and satisfaction with own size. Measures at follow-up were compared between groups, adjusted for baseline measurements. In 93 women aged 18–30 years, images of other women were perceived as larger following exposure to underweight women (and vice versa) (p < 0.001). There was no evidence for a difference in our primary outcome measure (visual analogue scale own size) or in satisfaction with own size. Avatar-constructed ideal (p = 0.03) and avatar-constructed perceived own body size (p = 0.007) both decreased following exposure to underweight women, possibly due to adaptation affecting how the avatar was perceived. Repeated exposure to different sized bodies changes perception of the size of others' bodies, but we did not find evidence that it changes perceived own size

The aorta can act as a site of naïve CD4+ T-cell priming

Aims: Aortic adaptive immunity plays a role in atherosclerosis; however, the precise mechanisms leading to T-cell activation in the arterial wall remain poorly understood. Methods and results: Here, we have identified naïve T cells in the aorta of wild-Type and T-cell receptor transgenic mice and we demonstrate that naïve T cells can be primed directly in the vessel wall with both kinetics and frequency of T-cell activation found to be similar to splenic and lymphoid T cells. Aortic homing of naïve T cells is regulated at least in part by the P-selectin glycosylated ligand-1 receptor. In experimental atherosclerosis the aorta supports CD4+ T-cell activation selectively driving Th1 polarization. By contrast, secondary lymphoid organs display Treg expansion. Conclusion: Our results demonstrate that the aorta can support T-cell priming and that naïve T cells traffic between the circulation and vessel wall. These data underpin the paradigm that local priming of T cells specific for plaque antigens contributes to atherosclerosis progression